1. Automated deduction - CADE-17
پدیدآورنده : / David McAllester (ed.)
کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)
موضوع : Automatic theorem proving--Congresses,Logic, Symbolic and mathematical--Congresses
رده :
QA
,
76
.
9
,.
A96
,
I57
,
2000
2. Automated deduction - CADE-17 : 17th International Conference on Automated Deduction, Pittsburgh, PA, USA, June 2000 : proceedings
پدیدآورنده : David McAllester )ed.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
1831
